How to Install cvc3 software package in Ubuntu 14.04 LTS (Trusty Tahr)

How to Install cvc3 software package in Ubuntu 14.04 LTS (Trusty Tahr)

cvc3 software package provides Automatic theorem prover for SMT problems, you can install in your Ubuntu 14.04 LTS (Trusty Tahr) by running the commands given below on the terminal,

$ sudo apt-get update
$ sudo apt-get install cvc3

cvc3 is installed in your system.

Make ensure the cvc3 package were installed using the commands given below,

$ sudo dpkg-query -l | grep cvc3 *

You will get with cvc3 package name, version, architecture and description in a table

cvc3 package basic information:

Distro Ubuntu 14 04 lts trusty tahr
Section Mathematics
Package cvc3
Version 2.4.1-4ubuntu1
Description Automatic theorem prover for SMT problems
Sub Section math


See Also, How to uninstall or remove cvc3 software package from Ubuntu 14.04 LTS (Trusty Tahr)?


Search
10 Types of TOP Command on Linux / Unix with ExamplesHow to Install and Testing MQTT Using MQTT-Malaria on UbuntuHow to Install HAProxy-1.6-stable version on Ubuntu Yakkety-16.10 LTSResolved: Got permission denied while trying to connect to the Docker daemon socket in DockerHow to fix: destination path already exists error while trying to clone the git repo in Ansible?How to fix :net/http: request canceled while waiting for connection error in Terraform?What will do while getting : GCP googleapi Error 400: Unparseable iamMember in Terraform
How do you set Statistics Schedule for Cpanel log in WHM?How to Set Archive Mode Log Files on Oracle 11GcPanel Can not Login it Says, IP Has ChangedHow to open Mutliple SSH Login on gnome-terminal in LinuxHow to Change User Login Key Pair for EC2 InstanceHow to Install HAProxy-1.5-stable version on Ubuntu Xenial-16.04 LTSIs it possible to catch multiple exceptions in a single line in Python?What is an equivalent of which on the Windows command line?